若 $i$ 常返且 $i \to j$, 则 $i \leftrightarrow j$ 且 $j$ 常返. 从而常返状态构成未必可约的闭集.